Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
471	A Bibliography of Books and Other Publications about the Ada Programming Language and Its History Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB Add to Reading List Source URL: ftp.math.utah.edu Language: English - Date: 2015-04-27 09:58:59 Ada programming language Ada Charles Babbage APSE MIL-STD-1750A Babbage Lovelace Computing Software engineering Computer programming
472	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
473	A Language for Automatically Enforcing Privacy Policies Jean Yang Kuat Yessenov Armando Solar-Lezama Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-01-04 11:40:01 Type theory Data types Predicate logic Models of computation Symbol Variable Local consistency Lambda calculus Free variables and bound variables Mathematics Mathematical logic Logic
474	Performance analysis of OFDM modulation on indoor broadband PLC channels Add to Reading List Source URL: www.stemeducationjournal.com Language: English Educational psychology Motivation Human behavior Mathematics education Positive psychology Self-efficacy National Council of Teachers of Mathematics Problem-based learning English-language learner Education Knowledge Behavior
475	First international comparative study of language, mathematics, and associated factors for students in the third and fourth grade of primary school, second report; 2000 Add to Reading List Source URL: unesdoc.unesco.org Language: English - Date: 2014-09-26 06:11:03 Educational psychology Special education Education policy Education reform Secondary education School counselor Learning platform Education Youth Philosophy of education
476	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-20 16:24:56 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
477	PDF Document Add to Reading List Source URL: uts.cc.utexas.edu Language: English - Date: 2009-10-20 00:03:14 Algorithm Computational complexity theory Pragmatics Mathematics Philosophy of language Applied mathematics PP Quantum complexity theory
478	Parameterized Regular Expressions and Their Languages Pablo Barcel´oa , Juan Reutterb , Leonid Libkinb a Department of Computer Science, University of Chile b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:09:44 Combinatorics Regular language Symbol String EXPSPACE Model theory Structure Regular expression FO Formal languages Theoretical computer science Mathematics
479	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
480	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics

UPDATE